Detta arbete anv?nder formell verifiering f?r att unders?ka loopar inom programmering. Looparna som behandlas ses ekvivalent som hypergeometriska rekursionsrelationer. Arbetet unders?ker om l?sningen un till dessa hypergeometriska rekursionsrelationer med polynomkoefficienter alltid ?r heltalsv?rd.

Vid utveckling av luckor till mikrovågsugnar behöver mätningar göras över ett visst frekvensområde, för att kunna bestämma luckans karaktäristik. Målet med det här examensarbetet var att ta fram en lämplig antenn för att mäta mikrovågsläckage i frekvensomr ådet 2,35-2,60 GHz. Antennen ska anslutas till ett bentligt mätsystem för mikrovågseekt. De antenner som utvärderas är dels kommersiella antenner med linj är polarisation och dels en egendesignad mikrostripantenn med cirkulär polarisation.I rapporten beskrivs bland annat designprocessen för den egentillverkade antennen och de simuleringsresultat som erhållits. De simuleringsmjukvaror som användes vid designen var Advanced Design System från Agilent och QuickWave-3D från QWED.

I detta kandidaterbete studeras Gauss hypergeometriska differentialekvation, samt hur den hypergeometriska funktionen kan anv?ndas f?r att l?sa kopplingsproblemet (jfr. eng. connection problem). Den hypergeometriska funktionen ger uttryck f?r de lokala l?sningarna kring differentialekvationens tre singulariteter.

Jag har valt att ?vers?tta en popul?rvetenskaplig text fr?n spanska till svenska och d?refter unders?ka de metaforer som f?rekommer i k?lltexten, vad de f?rmedlar samt p? vilket s?tt dessa hanteras i ?vers?ttningen. I b?de k?ll- och m?ltexten f?rmedlades ?ldrandet som en linj?r, ej cyklisk process best?ende av f?rs?mringar av kroppsliga funktioner. M?nniskan liknades vid en maskin medan ting besj?lades och fenomen besj?lades.

Frågeställningar: Vilka konsekvenser medför ett byte av avskrivningsmetod förbostadsrättsföreningar?Hur kan ett informations- och kunskapsgap förstås och hanteras?Syfte: Den här studien har en ambition att kartlägga och förstå effekterna av enförändrad tillämpning i fråga om matchnings- och avskrivningsmetod för olikaintressenter på bostadsrättsmarknaden, och slutligen ge förslag på hur ett informationsochkunskapsgap mellan berörda intressenter ska kunna förstås.Metod: En kvalitativ forskningsmetod med en induktiv ansats för att spegla berördaintressenters bild av ett speciellt fenomen. Kvalitativa intervjuer har genomförts medsärskilt utvalda intressenter. Även information från årsredovisningar, debattartiklar,pressmeddelanden, och liknande har använts.Slutsatser: Konsekvenserna av ett byte från progressiv avskrivningsmetod kan redan nuurskiljas. I en del nyare bostadsrättsföreningar kommer det att synas i resultat ochbalansräkningen.

Syfte: Studien syftar till att unders?ka hur kommunala bolag inkluderas i budgetprocessen i svenska kommuner, samt att f?rst? till varf?r utvecklingen har lett till att inkludera de kommunala bolagen i budgetprocessen, utifr?n begreppet kommunkoncern och dess p?verkan p? ekonomistyrningen. Teori: I studien har institutionell teori, med fokus p? tvingande, mimetisk och normativ isomorfism anv?nts. ?ven teorier om spridning av id?er samt kritik i form av institutionellt entrepren?rskap har beaktats.

Syfte: Syftet med uppsatsen ?r att unders?ka samband mellan kroppskomposition och uth?llighetstest p? is samt st?ende l?ngdhopp hos kvinnliga och manliga juniorishockeyspelare. Metod: Studien ?r en kvantitativ tv?rsnittsstudie d?r 28 ishockeyspelare fr?n en elitverksamhet deltog, varav 15 kvinnor och 13 m?n. Deras ?lder var fr?n 15?19 ?r, med tr?ningserfarenhet i elitmilj? p? 0?3 ?r. En DXA-m?tning j?mf?rdes med st?ende l?ngdhopp p? barmark och uth?llighetstest p? is.